翻訳と辞書 |
Non-standard model : ウィキペディア英語版 | Non-standard model In model theory, a discipline within mathematical logic, a non-standard model is a model of a theory that is not isomorphic to the intended model (or standard model).〔Roman Kossak, 2004 ''Nonstandard Models of Arithmetic and Set Theory'' American Mathematical Soc.〕 ==Existence== If the intended model is infinite and the language is first-order, then the Löwenheim–Skolem theorems guarantee the existence of non-standard models. The non-standard models can be chosen as elementary extensions or elementary substructures of the intended model.
抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)』 ■ウィキペディアで「Non-standard model」の詳細全文を読む
スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース |
Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.
|
|